1. A Concise Introduction to Mathematical Logic

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.

2. A Course on Mathematical Logi

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

3. A first course in fuzzy logic /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Fuzzy logic.,Neural networks (Computer science),Fuzzy logic.,MATHEMATICS / General.,Neural networks (Computer science)

رده :
QA76
.
87
.
N497
2019eb

4. Alan Turing :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
C65
2013

5. Alan Turing : his work and impact

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical

رده :
QA
29
.
T8
C65
2013

6. Alan Turing : his work and impact

المؤلف:

المکتبة: (طهران)

موضوع: ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical

رده :
QA
29
.
T8C66

7. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

8. Applied logic for computer scientists : computational deduction and formal proofs

المؤلف:

المکتبة: (طهران)

موضوع: ، Computer logic,، Computer science -- Mathematics

رده :
QA
76
.
9
.
L63A92

9. Automata, logics, and infinite games

المؤلف:

المکتبة: (طهران)

موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory

رده :
QA
76
.
L28
Vol
.
2500

10. Automata, logics, and infinite games

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;

11. Automata, logics, and infinite games

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.

رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002

12. Automata, logics, and infinite games

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory

رده :
QA
76
.
9
.
M35
A85
2002

13. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
417

14. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
I57
1988

15. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
385

16. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W67
1988

17. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
440

18. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W67
1989

19. Computation engineering

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science--Mathematics,Computer logic.,Machine theory.

20. Computation engineering

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;